Opera Selecta Boxi

XT Capita Selecta

XT is a bundle of program-transformation tools. Stratego is part of this bundle, and is used as implementation language for many tools throughout its packages. Giving special attention to the role of Stratego, we discuss a selection of our XT experiences. These range from the construction of meta-tools to support Stratego programming, through Stratego techniques applied in constructing some of ...

Opera Campus Opera Campus

Opera postuma

It seems incredible that twelve volumes of medical works written in Morgagni's own handwriting should have been completely lost to sight until 1952, when Professor Adalberto Pazni, combing through the catalogues in the Laurenziana Library in Florence for the names of medieval doctors, should have discovered them by chance. How they came to be there is a story full of interest, a detective story...

Capita Selecta in Geometry Moufang Quadrangles: Characterizations, Classification, Generalizations

Opera: desire, disease, death

In several senses, Hall cuts a better figure here than in Charlotte Hall's Memoirs. Nevertheless, the remnants of the earlier "spouseography" are often still visible, despite Manuel's apparent awareness of the historiographic implications of using Charlotte's work as a primary source (p. 23). Some instances are trivial. For example, Hall's trip to the Scottish Highlands is alluded to by Manuel ...